Issue1977.agda:8,7-22
Could not parse the application [ M.undefined ]
Operators used in the grammar:
  M.[_] (closed operator) [[_] (Issue1977.agda:6,5-8)]
when scope checking [ M.undefined ]
